The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet
نویسندگان
چکیده
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
منابع مشابه
Printed Copies: Printed Copies: Obdd-based Veriication of Communication Protocols { Methods for the Veriication of Data Link Protocols Obdd-based Veriication of Communication Protocols { Methods for the Veriication of Data Link Protocols
Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..
متن کاملEvaluation of B2C website based on the usability factors by using fuzzy AHP & hierarchical fuzzy TOPSIS
In today’s technology, electronic trading transaction via internet has been utilized properly with rapid growth. This paper intends to evaluate related to B2C e-commerce website in order to find out the one which meets the usability factors better than another. The influential factors to B2C e-commerce website are determined for two big retailer websites. The factors are investigated based on t...
متن کاملInnovative Approach to Teaching Database Design Through WWW: A Case Study and Usability Evaluation
The objective of this chapter is to describe the Postcourse project, which is an e-course on database design. It can be reached via the World Wide Web and allows authorized students to create and work with their own databases placed on the university server. The system has been created from scratch, as no authoring package offered tools to interact with databases, which is the innovative featur...
متن کاملPatient-Centered Access to Secure Systems Online (PCASSO): a secure approach to clinical data access via the World Wide Web
The Internet's World-Wide Web (WWW) provides an appealing medium for the communication of health related information due to its ease of use and growing popularity. But current technologies for communicating data between WWW clients and servers are systematically vulnerable to certain types of security threats. Prominent among these threats are "Trojan horse" programs running on client workstati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Universität Trier, Mathematik/Informatik, Forschungsbericht
دوره 98-27 شماره
صفحات -
تاریخ انتشار 1998